BCK-Algebras and Related Algebraic Systems
نویسندگان
چکیده
1 Department of Mathematics Education, Gyeongsang National University, Chinju 660-701, Republic of Korea 2 Department of Algebra and Geometry, Faculty of Sciences, Palacky University (UP), 771 47 Olomouc, Czech Republic 3 Department of Mathematics, Hanyang University, Seoul 133-791, Republic of Korea 4 Department of Mathematics Education, Chinju National University of Education, Chinju 660-756, Republic of Korea 5 Department of Mathematics, Hubei Institute for Nationalities, Enshi, Hubei 445000, China 6 Department of Computer Science, The Bucharest Academy of Economic Studies, 010374 Bucharest, Romania
منابع مشابه
On Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملINTUITIONISTIC FUZZY HYPER BCK-IDEALS OF HYPER BCK-ALGEBRAS
The intuitionistic fuzzification of (strong, weak, s-weak) hyperBCK-ideals is introduced, and related properties are investigated. Characterizationsof an intuitionistic fuzzy hyper BCK-ideal are established. Using acollection of hyper BCK-ideals with some conditions, an intuitionistic fuzzyhyper BCK-ideal is built.
متن کاملUltra and Involution Ideals in $BCK$-algebras
In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...
متن کاملDouble-Framed Soft Sets with Applications in BCK/BCI-Algebras
In order to lay a foundation for providing a soft algebraic tool in considering many problems that contain uncertainties, the notion of double-framed soft sets is introduced, and applications in BCK/BCI-algebras are discussed. The notions of double-framed soft algebras in BCK/BCIalgebras are introduced, and related properties are investigated. Characterizations of doubleframed soft algebras are...
متن کاملOn Hyper Pseudo BCK-algebras
In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...
متن کاملAnnihilators on weakly standard BCC-algebras
BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Math. Mathematical Sciences
دوره 2011 شماره
صفحات -
تاریخ انتشار 2011